Behavioral Extensions of Institutions

Some new extensions of Hardy`s inequality

In this study, by a non-negative homogeneous kernel k we prove some extensions of Hardy's inequalityin two and three dimensions

Weak Compactness of the Set of ε-Extensions

Some Properties of Ideal Extensions in Ternary Semigroups

A concept of ideal extensions in ternary semigroups is introduced and throughly investigated. The connection between an ideal extensions and semilattice congruences in ternary semigroups is considered.

Kan Extensions of Institutions

Institutions were introduced by Goguen and Burstall 8, 9, 10, 11] to formally capture the notion of logical system. Interpreting institutions as functors, and morphisms and representations of institutions as natural transformations, we give elegant proofs for the completeness of the categories of institutions with morphisms and representations, respectively, show that the duality between morphi...

Towards Behavioral Maude: Behavioral Membership Equational Logic

How can algebraic and coalgebraic specifications be integrated? How can behavioral equivalence be addressed in an algebraic specification language? The hidden-sorted approach, originating in work of Goguen and Meseguer in the early 80’s, and further developed into the hidden-sorted logic approach by researchers at Oxford, UC San Diego, and Kanazawa offers some attractive answers, and has been i...